fix broken DESCRIPTION file (bad merge?)