WYCS: minor tweak to indenting.