Fixed some formatting problems caused by using an external editor