Added debugging info option