Remove use of segment() (replace with operator)

(It’s in a deprecated and unused file anyway, but still, it broke the
build, which is a Bad Thing™.)