Code linted 9.5