Fix require annotation in bugcore