It turns out that BBC4 has altered its schedule, so the Radio Times listing is out-of-date. Times are now 11.55 pm Sunday 13, with a further repeat at 3.05 am Monday morning 14 November.