Jensen-holm's picture
fixing simple typo
655a3f5