Frontend: OCR: Fix in case the OCR is actually faster than the animations

Signed-off-by: Jerome Flesch <jflesch@gmail.com>