Adding various corrections caused by documentation of code