This will actually fail if the line is `0` because PHP is an awful, horrible kludge :(