bugfix

(with NikosT)