Version 0.9.13 is done