More on #725