Another change seeming lost when merging in release 0.8.2