trivial: fix include file name