Check for corner cases in allocMany
Fix comment