small fix in code