I took it myself :) See #775