Fix mistake in 623d3201

While running through a bunch of mechanical/trivial cleanups,
  I goofed this one up earlier today.