Fix some varint-related comments