d.uim-vi.testing.2013: fix format