Minor bugfixes for DRM managers