formatting fixes #405