Corrected printf addresses