fixing a compilation issue