bugfix for just introduced bug