bug: overload users[]