Other small naming fix