Some minor things I missed