Fix bug in def(right)