Minor fixes for DC manual