Adding needed getter for diagnostic manager. Useful