typo fix from issue #14