Cosmetics fix for annotated assertion failures

This fixes a visual regression introduced in #9 / 1.4.0.