A few little fixups.