Cosmetics fix for annotated assertion failures

This fixes a visual regression introduced in #9 / 1.4.0.
Is this just a random cleanup or is it connected?