The two apt verbatim blocks
+-- boxed +-- --- not boxed ---
are rendered the same, i.e. the second is incorrectly boxed.