fixed the bug spotted by michael in triplification!