small fix for webstorm