Added the standard \label{module-*} for the two supporting modules.
2 files changed