Fix subtle bug in signs for antisymmetry