yet another workaround for #277.