fix embarrassing compilation error