Minor stilistic changes