Done, and added a comment for the benefit of future maintainers.