Fix some minor silly mistakes