Added a doc-encoding at the top