On a Formula for Correcting Statistics for the Effects of a known Probable Error of Observation