small fix in naming