fixing a compilation failure