Fix the "missing labels" module of the devtools extension