Fix missing coding directive