Minor changes to whitespace and documentation