improved documentation -- need a proof reader