annotations and prettifying