Add a few assertions