Minor fixes in the OpString booter implementation