add `make clean`
add 2 missing `$Rightarrow$`