This header should be re-written as it is included in the docs by Sphinx