fix for SBCL lp bug #1206191