Julia confirmed by email that these two statements were left over from a template