Small improvements in simple-bash