Fixed getClauses and getFormat, closes #16