toplevel: fix release name