No, I've checked and rechecked and the setting is saved properly... and people not on his contact list really can't see his VMs so it's not browser-related at all.It could be possible that you made a mistake and that you never actually changed it that way...
Otherwise, you can try clearing the cache and history of your browser and log back in and try again...