Various minor corrections