Minor code / doc tweak.