No, but I thought it obviously useful, so I added it preemptively.