Thank you. I've made the change in commit 132d839fb326bae66a060dd99f4633de22ad4e1a.