Minor bugfixes. Doc update.