more on #80