Snow Leopard: Fix bug in documentation settings