note bug with old versions of prove