Fix silly compilation error.