add "@return" to LazySpec API docs