fixing Gora and DRAT descriptions