add a belated piece of 0.9.4 history