Minor updates to DIFFERENCES file