Fixing some minors