Added an ATF test-case for #6 (close #6; this has been fixed previously).