Improve Hajek's appendix