Fixing compilation problem left unnoticed after rebase!