Re-indented to comply with recommendation of minimal 4-char indents
(although I find 2-char is just fine).