Fix build error that snuck in