Fixed integer-division bug in MaxMargin.