Correcting bugs, module names