Incorporated comments from R. Stallman