bugfix with float