just trying something to possibly workaround reported crashes in #40