Oh, wait. You're right. It isn't a proper metric space.