small fix in naming convention