Just grabbed more $KERNEL at $0.1375.