fix for #132