Spec tests for last PR, and fixing a warning