Fixed typo noted by ISERC reviewer #3.