fixed an obvious compilation error