better export and termination of platon