I just checked with 4.04beta2 and could not reproduce the problem. So it
seems to be a 4.03.0 bug, but I could not find anything obviously
related in the 4.04 changelog.
--
Christoph Höger
Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen
Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin
Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de