Fix an alignment bug