Carving: shorten button name, fixes #517