BUG <num -> types>

BUG