fix documentation version number