some minor fixes to persistent datastructures article