Fixes #1834 - I will confirm with the JTAG that it is a compiler bug
later