Tests for #2. Source was OK.