docs update; bugfix