Fix CheckLog's documentation