Seemingly trivial details can sometimes lead to big problems. However, if a detail is important, it should be noted by the supervisor.