small fix regarding naming