Fix another Mac OS warning