Improved some interactive-mode doc strings