Bug fix; typographical error.