Simple fix for compilation mistake