Fix SSL Observatory XML preferences bug