Fixed formatting of extension property example