I forgot to mention that the bug described happens also in trunk.