Footprint Editor: minor cosmetic enhancement (which could avoid a report like bug #1302255)