ChristopherDavenport/nonemptymap not found