Or maybe they shouldn't be listed in deprecated and checked