OS hw #5: small fix