Michael was wrong, so I fixed it