[PATCH] Fix a bug I introduced with 3c78c1a5c.