[ 110501 ] shell1 `man' command broken