Bugfix for gcc