Fix forgotten int to double