Fix error introduced in previous commit ac9883f