fixing typo introduced in 37adb4a54e44d91f980468e8731c6627bd3e8dc7