bug correction in krlst