last minute touch

• final repair, change made when there is little time left