fixing formatting of fastnormcdf, in particular documentation