Modifications and clarifications to module systems