Fixed the bug: sometimes hypotheses order was incorrect after autocompletion