Important bugfixes about bash profile update