Zherikhov's result for bash1 was updated