Fix certificate error in Problem 13