Asserts: Simplify ok assertion

Fixes #587