fix this misprint, please