a minor source code refactoring.