Fixed bimap stringification