another fix to the first-order check I added earlier today

(discovered by the test suites run by drdr)