Normally this info is clearly displayed on the FPS (Flight Progress Strip) and circled, or don't the NATS strip printers have the capability to do this?
Otherwise it would be hand written and circled - perhaps it was but the ATCO just failed to note it.