special handling of NamedDots too
handling the 'void' case