minor bugs in format-manager fixed