Fix build with typo in previous commit