added a couple of operators