Minor correction, based on feedback from cvan