Fix autosubmit documentation.