fix bashtips