Edited version of Tukui 15.82.