fix a typo (and commit something to test github changes)