Fix a source code mistake

This revision fixes a minor source code mistake.