Matthias points out that this is more logical...