small fix for TANAAN