Rätteligen borde de haft följande lydelse: