Update code for #12
Update phar