Fix module constraint bug. Fixes #11.