Minor include file fix.