small fixes for journal of the history of astronomy