Reverted back to avoid the unintended meaning change caused by the originating edit.