dropping file extension so that doctest does not complain