Now, they are reset correctly. See issue #38