Little edits in the code, probably nothing interesting