Fixes #25, TODO: consider using untaken label automatically instead of error