fixes issue #5: formatting problem with tabs vs spaces