Fix another header compilation issue