Fixed bug in Contexts.lhs; reported by jystic