small style improvement (4-space tab)