some minor corrections to titles