fixed the howto for degugflags