Forgot to delete this as part of e4ec0ff03d61283c.