macOS Sierra Right Alt Key mapped to Ctrl

macOS Sierra Right Alt Key mapped to Ctrl

Since installing macOS Sierra my right alt key is being mapped to ctrl. This behaviour is also visible on the keyboard viewer, where pressing the left alt key clearly activates the alt functionality, ...