Bug #6252