changed version number to 0.5-13