two small tweaks, and formatting with tabs for indents