small fix to naming