some minor fixes for SLD