Corrected misprint