bash: minor update