Fix tiny mistakes