Small bug/doc fixes