small fix in the docs editor