shorter, easier to parse name. Fixes #682