Redaktionelle ændringer.