Fixes for 0.13