Fix assertion when (real) is used

And bring back a test for it...