fix bug in include