Some fixes in the first post