fixed string formatting bug introduced by @tristaneuan