Unexpected compilation error fixed