Tests for #11