Small bug in trepan.pl parsing