Oops, I did not mean to delete the comments. I will fix this in a new prq, since this has already been submitted.