Tests for #6. Source was OK.