fix a minor deviation from the original in my previous commit