Travis is now running with some amount of run-time checking enabled and it spotted a couple of harmless things.