clarify that modules cannot be nested (was already implied)