Quick fix for NPE in ObligationSatisfied