add missing '0' when formatting milliseconds
closes #895