compilation fix (sigh) #333