I found and fixed a typo.