apply workaround for tidy, fixes #274