Minor mixup of wording re "module"