Bugfix for larger processor counts.