Small bug fixes in \Aleph