fix edoc specification