minor bug fix (include)