Follow up bugfix to 4.1.3.