update version number to reflect previous bugfix for issue #13