destruct() added, some style fixes