Fixed: documentation version number lagging behind.