Thanks for the correction. I should have verified the HN username for Mike; not sure where I pulled `mikep` out of since I always enjoy reading his comments he

Thanks for the correction. I should have verified the HN username for Mike; not sure where I pulled `mikep` out of since I always enjoy reading his comments here and elsewhere. It's too late for me to correct it in my original comment, so thanks again.