Fix typo in comment and double ;;