A few minor code improvements.