Fix accidental constant mismatch, document