Fixing messed up syntax in examples