With a block time of 2 hours 20 mins, a 17:00 MAN dep will arrive in MAD at 19:20. Also, the 08:30 time is the arrival back at MAN, meaning an 06:10 departure. Thats a night stop of 10:50. When you include report times, which can be up to 1.30 before TO, that does not give the 11 hours required rest, but still makes a long night stop. Hence why I think the times could change.