tiny bugfix and minor copyediting