Add include header to synopsis