#1538: Logical Petard.