Added a debug option for karma.