Fixed bug I introduced 10 minutes ago