fix up missing code