Fix ifdef (#4144)