Small bugfix and doc update.