Fixes done handler in specification for compiler