I know these were here before, but they're gross. If we're modifying this code, might as well change these to just use the literal characters.