(PDB-764) Malformed post conditions in query.clj

This fixes some trivial typos in query.clj that had previously caused some
post-conditions to go unenforced.