fix a bug in the statement display