Added usage for HaMLet.