On the detection efficiency of a microchannel plate detector in time-of-flight measurements