Minor fix: Double class was causing problems

Certain compilers fail on the double class typo. There's not downside to
fixing this.