typo fix in Stephan's last name