whoops sorry forgot to check in a file in 6a5165c41e74bc213017c6f227a5adaaf04ed309, which, by the way, closed #221, I forgot to mention that in the message