This is correct; if you're feeding the aux inputs from a non-car-chassis grounded device (eg a portable discman as opposed to a CD-head unit) you need to ground the aux input RCA shield.

This is because the inputs are designed to be able to remove DC offsets from other head units that may have different grounding.

Hugo