Fixed bug (for reals)