small changes to devtools