bash manual 33 modified