Re-put a missing comment in the code (deleted by mistake)