Fix one error (Hopefully a better solution will be found in the future.)