Small fixes for old bash