I can actually still reproduce the bug when I wait some time before entering my hard drive decryption password.