Minor syntax fix in correction of issue 11