Minor changes in the Sidef scripts.