If the end user did not enter an OP Identifier, the following information will also be present: * Claimed Identifier * OP-Local Identifier The Claimed Identifier can not be an OP identifier. Therefore, I think there is not a problem with the way that HTML discovery has been specified. I don't have time to write up why right now, but I'm -1 on adding a type field to HTML discovery. Josh