As a dot was removed in a function above, we probably need to remove it here as well