Random instead of RST abbrevation in chapter 5