Fix documentation of include file.