fix comments by Knut