Correcting a sign error. SMinor prettifications.