Further correction for commit 3fc8f42.