Resolve #21: use %-style string formatting