Fix these assertions: