Tests for #9. Source was OK.