Debug: minor correction