Another compilation problem