This is wrong header and it doesn't conform to OpenCV rules. It isn't worsened much by this edit, so I would accept the change. But I would strongly recommend to remove this header, and to add the standard one...