Remove a couple minor differences between table schemas described in create_db.pl and mysql.sql. These were pointed out in comments for issue #10.