Fix for GitHub issue #40 (DevModules definition)