A test for r172535.