Minor change to the nutshell userguide