Oops, included some remnants from debugging in help.rs. Removed!