small hotfix due to jshint