Module validation now compiles