Tests for #7. Source was OK.