Peder Andersen Siljan

I am trying to find the marriage of Peder Andersen Siljan to Anne Halvorsdatter. I believe I have found their engagement but am not sure of the marriage. According to Solumslekt.org the marriage took place on 24 Sep 1713. Kirkebok for 0818 Solum Mini 1 (1701-1716) side 230. 24.09.1713: Peder Andersen og Anne Halfuorsd. |: brøllup :|. I know her last name is spelled slightly different. The record I think is correct is on the left hand page a few records up from the October records. Perhaps someone could take a look at it and see if it is the correct record. Thank you for your help.