Some things I found while reading the code...