From #990 ; included here because version 0.11.1 was not defined in this file previously.