small doc tweak in show-source