fixed asserted clause (fixes #16)
removed deprecated stuff in specs