added {:aux} attribute to local variables
a bug fix