minor correction

Suggested correction from jostino