Initialize pointer as NULL explicitly to appease gcc-4.6