Add missing import, fix casting warning, improved lifting docs