fix #6 bug in Operation class