Small fixes

you might be right, maybe I have to teach PHP storm about it