It's over 5000!

Fixes #571