added a few operators