Commit ea6d9b661fc3cf6bc4366feeb7694c0b712abfae

Behdad Esfahbod 2018-11-05T23:09:29

[ot-face] Remove a few ensures