Fixed a compilation error in double precision mode