File_lock: improve documentation