minor compilation fix for heroku