Minor fixes I missed.