Minor white-space fixes (consistency with use of tabbed indentation in original source)