fix definitions broken by latest bug fix