Fixed shadowing bug in "let-float-top".