Fixed some broken typesetting