User's Guide regenerated