Very minor cleanup to make (an ancient version of) RestKit run on TexLege with a newer compiler