Use a reference rather than a pointer as we don't expect a NULL