reals: tweaks