(A few more manual names.)