Rev version; doc update.