Small fixes in 2014-05-31 post