@stloyd Yes, it was probably meant to work that way once. We should switch it.