Fix compilation error caused by missing attribute