Temporary fix for #4.