Fixed inconsistent type def

The definition of an empty tree node was incorrect. Thanks to Fred
Herbert for spotting it.