Fix error made in applying Thomas's patch.
1 file changed