minor typo introduced in last commit