Fixed a bug in the ops interpretation