I gave in and switched to spaces for indentation