fix usage of Labels in REPL, discovered by psch++