Fixing the assertions layout