fixes typo pointed out in last commit