Minor tweaks to assertions.lua