Fixed suggestion of bugfix 3431

Seems correct to me and builds fine on my machine.
Also the output seems correct.