also in lizard_ui.js