Fixes for 13w42b.