Fix to satisfy gitbot.