Fix specs section inaccuracies

Signed-off-by: Max Fierke <fierk007@umn.edu>