Oops, previous commit closed #172, not #173

Closes #172
Reopens #173