Small adjustments to sidereal time documentation