Fix some stuff in proceedings export