Some small fixes, that I noticed.