fix (possible) sign problem in 48fb8204f5