72bit bugfix