Probable bug with dsssl-mode