Nice catch. This is probably the right way to do things.