Small fixes, including formatting definitions on latex format