Nitpick: we might want to omit "attempted" here. Messages are usually short and concise like "head of empty list"