#62: fixed typo that somehow slipped through before pushing