Done (the assertion actually works now).