Bug fix: sl.warning.deprecated.m