Happy Friday the 13th, everybody.