Fixed a bad pattern (reported by rvirding -- thanks!).