Mention PUTTY.RND by name