Hmm, those two names should be removed here. They have nothing to do with the code in this file.