Small fixes: debugging lines