bugfix of include directive