fixes compilation problem