Remove duplicate DeSTIN code to fix #490 as confirmed by @tpsjr7