Don't be so verbose about splitting definitions

It's generally not useful information.