Removed period following .proof-like .heading .type as discussed in #19