followup to #127
0.7.1