Debug: minor fix