Fixes travis issues due to precision