fix lack of latex...