v1.3s: bugs