Fixed bug in many/many1, reported by cgswords, thanks!