cleanup

I don't know why this won't automatically merge, but here's that fix you wanted.