minor bugfix for the previous commit