Where do you find the semidiameter correction to be used to correct sextant observations of the stars?