minor fix concerning location of include file