minor fix, closing PR