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