#140: fixed with workaround