Avoid pedantic ; warnings