minor fixes to CURRENT.TXT