[sr-dev] git:master: fix error in cr dump command, reported from Edson 4lists at gmail dot com