this is uninteresting since we are always talking about the root module