Fix typo in assertions for #17