Add another statement for debugging on RTD