strange compilation error