Issue 3 fixed

Answering to issue 3, they can be erased, since the key theys they cover
were already wrapped by the fix released yesterday.