Make shell check happier