Two quick personnel notes (nothing bad)