Correct usage of default function arguments