more static checks