Fixes to indent-tabs-mode