Fixed wrong module redefinition