small fix for running back on 32bit