fixed a compilation problem on tkonline