Fix a compilation issue

This change snuck in from a followup change.