minor fixes with instructions for users