tiny bugfix for last change