Re #6846. Fixing messed up ifdef.