fixes #2: more str() casting