fixes #1037

This fixes a typo