Added test for #11 (which seems fixed)