compilation fix (really) #333