tiny bug fix in core