fix typo introduced via github editor