Fix some small mistakes