minor touch-ups to the code for documentation