This fixes ticket #46