fixed bug in ModulesDatabase.updateModule() where a bracket was forgotten