Fix apparently-long-standing bug in FloatIn