Minor tidy up; update HISTORY