Fix #3

This patch fixed bug #3, and simplifies the plat.tcl code somewhat.