* fix bugs with alpha-conversion