Fixed long-standing documentation bug that referred to non-existent  device variable.