Fix small inconsistency for #152