$1 has been reverted to the [$4 version as of $3, $2].