trying to fix #303 ... let's see if this works