Forgot to add formatReachingDefinitions to the module header.