minor fixes [merge] #1933

Merged
merged 1 commit into from Apr 6, 2013
Commits on Apr 5, 2013
  1. minor fixes

    bdecoste committed Apr 5, 2013