avoid some signedness warnings