Fixed a bug in the printf for AlignerOptions