fix small typo introduced in the previous commit