Fix #31 for reals