Bug #9910: Superfluous " before 'new module'