(Pre-existing.) Ugly positioning of comma.