Pedantic microfix

be consistent!