bug fixes: procedures execution