Thank-you, Samuel.
I did the experiment. Both the double-quotes and the square brackets had to be deleted.
The result worked for user1 and user2 being regular users. Next I'll edit root's
.bash_profile, and see if the solution works when user2 is root. Actually, user2 almost
always is root.
Bill.