Minor compilation hiccup