bugfixes; documentation updates