small fix
Support for device config extensions