* This is already implicitly tested, but since the reporter
   claims that there was a regression I explicitly added this test.
 * No change needed to make the unit test pass.