Patch follows.
Created attachment 212363 [details, diff] terminal-0.4.2.diff
fixed for 0.4.2 and 0.4.3, thanks