Fixing compilation failure ;(