got rid of a dollar sign in contrib/encode.cpp