Fix spacing in floatenv