d80f58095b
* commit '7c805a0e0eb42244438c83678f103c4bb7071a4b': Doc update: emulator bug fix
* commit '7c805a0e0eb42244438c83678f103c4bb7071a4b': Doc update: emulator bug fix