[trivial]compilation error