That's definitely a mistake. Thank you for sharing! Got it, that makes sense. Penguins are more powerful than the crocodiles but we can make that more explicit.
