that should take care of the last coverity complaints
update documentation