fixes for Doc files and flags for KratuMain