Fix silly compilation error in last fix.