You're right.  Now removed as discussed.