remove useless inclusion
add more examples for #13