Erata for last commit (issue 1113).