Minor: get rid of this extraneous trailing whitespace.