Oops, commit 65f31fd7c closed #137, not #150

Closes #137