// fixed bug in inliner