ops.py

We ignored a case when read would return different read bytes than requested, we fixed it in this commit.