Correct another inconsistency in my recent commits.