Fix alarm-manager