Corrected shell function in babun