Added recursive call of module.check to #1