Version to 1.3.5.pre and doc fixes