Don't need the space here.
Per @danielmewes, make this use `rfail_toplevel`.

The difference is extremely subtle.