Summary of changes: b2375b2... Relax assertion-error dependency (*) 86220a3... Fix typo (*) (*) This commit already existed in another branch; no separate mail sent