minor fix per ticket #113