Fix assumptions page (mostly)