#6319: Use conditional comments correctly.