Außerdem wurde der Linter leicht verbessert.