Slight error cleanup in github issue closing

(which isn't working currently)