map and zip also unnecessary here in the context of the use in this file.