Fix alignment bug introduced in 01362db6d0bad3ddc1e9b7a7b2445531f33b2a99