Whoops, it looks like I left that in from an early version of the code. Sorry about that -- it's replaced now.