minor change: added some urlencoding