avoid a small bit of duplication with Scala standard library