Fixed propositions by @dbu in #170