richmikan: done! and now debugging