Fix silly compilation error