* Workaround for #33