a couple of bug fixes concerning concurrent access to the option area