Fixed trace() strings being printed as the "format" printf argument

This fixes percent signs being stripped.