Happy Friday the 13th, everyone.