Release v 0.0.11 (better truncation in Fact#short)