Update docs, remove unreachable code