GitHub #121: Correct handling of ProcessorElement width with and without export GUI