More changes for the user manual of version 0.4.