Bug fix for a problem reported by a user via ML (--os-shell)