minor corrections
fixes in push lib, ,add some more stuff to websockets