Followup to previous commit.

Fixes #1270.  Whups.