correcting issues discovered by texstudio