Fixes embarrassing compilation error