Explicitly say positive rotation is counterclockwise.