Sidef scripts bug-fixes and improvements.