A short cleanup of Pettijohn's