Fix highlighting on doc/types