- very minor (and unused) extension