Fix a ClassCastException reported on mailing list.
1 file changed