Fixing a float-related problem.