see note above regarding double ::