fixing indentation and tried to fix a problem for os-009