tweaks for 0.13