Type bug in implementation of #35