a possible workaround for #177

A simple fix for #177 ?