Assert: Simplify ok assertion

Fixes #587