I think that this change is not needed.  I probably made it when I printed some info and it's some cruft that I should have cleaned up.