2 tiny fixes in Discussion