More formatting fixes I missed the last time.