Minor change to ease debug