Making lint happy