Fix @see for WCF.getRandomID()