Updated more documentation, and added one-off printing of vale=ue