fixing end tags; see #224