Module names are already in the failure message, so no need to show them again