minor cleanup #117