Fix small regression in last bugfix commit