Yeah, that would be fine. It's just shorter. Don't worry about it for this commit, but in the future don't burden yourself with those crazy awful `err_id`s.