2013-10-27: mild edit for readability