Minor bugfix in the description