fixing small bug in DESCRIPTION