Correction to #375

Typo in the previous commit.