minor fixes, suggesting people to use less intead of cat