Very corner case that could be relevant to issue #60 : write lock might not be released if lock downgrade fails