fix bug for reals