fixes #662 for reals