So this should be changed to `&KDC Server Name` as hostname is allowed?