Fix Docker highlighter again