type ascriptions to appease travis/doctest