Some minor changes

Changes performed mostly in order to see whether I'm able to use
Latex...