file change

apparently git decided to push the wrong version of the file... this
should update it to current