Working out the latest bug: not all arguments converted during string formatting