Fix various documentation files