minor correction in precise