fix mistake

(that was introduced for debugging purposes)