(Also the actual return type should probably be documented.)