Fixed [.return] semantics for [.beta]