Fixed a missing parameter for debugging