Minor changes to doc/USEFUL